imin(a;b) == if a z b then a else b fi  

latex

Up	int 2, int 2
Wellformedness Lemmas	imin wf, imin wf
Definitions	if b then t else f fi , i z j
FDL editor aliases	imin